English computational logic: переклад на інші мови